Term Gallery logo

Significados de leyes de inferencia en español

ruso
правило преобразования
portugués
regra de inferencia
inglés
transformation rule
catalán
regla d'inferència

Forma lógica.

        transformation rule
        Sinónimos
        Examples for "regla de inferencia"
        Examples for "regla de inferencia"
        1
        Aplicaremos la regla de inferencia al elemento anterior, y colocaremos el resultado dentro del saco.
        Gödel, Escher, Bach
        2
        Le agregaremos un esquema de axioma (el anterior, y la única regla de inferencia, son conservados):
        Gödel, Escher, Bach
        3
        Hay otras versiones en las que se emplea solo una regla de inferencia -laseparación, generalmente-y varios axiomas, o esquemas de axioma).
        Gödel, Escher, Bach
        4
        Los axiomas y reglas de inferencia de la lógica de primer orden.
        Gödel ∀ (para todos)
        5
        La lógica de primer orden se rige por dos reglas de inferencia, que son:
        Gödel ∀ (para todos)
        1
        Las catástrofes se podían verificar en casos puntuales, pero de ninguna manera como regla de transformación.
        Historia de las ideas científicas
        2
        Se trata de una regla de transformación, un sistema para representar visualmente lo que usted acaba de decir.
        La llave maestra
        3
        El conjunto de permutaciones o reglas de transformación del mito se refleja en el siguiente esquema:
        Los símbolos de la Prehistoria
        4
        Se entretuvo imaginando formas complejas hipotéticas y distorsionándolas en su mente de acuerdo con esotéricas reglas de transformación.
        Leila.exe
        1
        Los axiomas y reglas de inferencia de la lógica de primer orden.
        Gödel ∀ (para todos)
        2
        La lógica de primer orden se rige por dos reglas de inferencia, que son:
        Gödel ∀ (para todos)
        3
        En esta última, tanto las premisas como las reglas de inferencia están estipuladas por adelantado.
        El camino desde la estructura
        4
        Una vez postulados los supuestos y reglas de inferencia iniciales, las consecuencias (teoremas) se siguen necesariamente.
        Crisis y reconstrucción de la filosofía
        5
        Examinemos un nada complicado programa de generación de teoremas, que utiliza axiomas y reglas de inferencia de TNT.
        Gödel, Escher, Bach
        Uso de leyes de inferencia en español
        1
        Axiomas, leyes de inferencia y proposiciones deducidas están todos al mismo nivel.
        Wittgenstein